Alfred Tarski
アルフレト・タルスキ
Tarskiの真理概念
Tarskiの真理定義不可能性定理
など